Let H be a finite nonempty subset of a group G. Then H ≤ G if H is closed under the operation of G.